首页> 外文OA文献 >Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

【2h】

Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

机译：分布式对象，组件和系统的形式技术：第37届IFIP WG 6.1国际会议，FORTE，作为第12届分布式计算技术国际联合会议的一部分，DisCoTec 2017，瑞士纳沙泰尔，2017年6月19日至22日，会议记录

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Bouajjani, Ahmed; Silva, Alexandra;
展开▼
作者单位

展开▼
年度 2017
总页数
原文格式 PDF
正文语种 en
中图分类
入库时间 2022-08-20 20:12:24

相似文献

外文文献

1. 会議レポート11th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2017) [J] . 真野健情報処理 . 2017,第11期

机译：会议报告第11届IFIP WG 11.11国际信任管理会议（IFIPTM 2017）
2. SPECIAL ISSUE: 2017 International Conference on Applications and Techniques in Cyber Intelligence (ATCI 2017) [J] . Xu Zheng, Gao Kun International Journal of Computer Systems Science & Engineering . 2018,第5期

机译：专题：2017年网络智能应用与技术国际会议（ATCI 2017）
3. Supplement: 14th International Conference on Malignant Lymphoma Palazzo dei Congressi, Lugano (Switzerland), 14-17 June, 2017 Abstracts [J] . Hematological oncology . 2017,第Suppla2期

机译：补充：第14次国际恶性淋巴瘤帕拉佐德·卜国尔特，卢加诺（瑞士），2017年6月14日至17日摘要
4. International Conference on Research and Practical Issues of Enterprise Information Systems 11th IFIP WG 8.9 Working Conference, CONFENIS 2017 [C] . Min Tjoa, Li-Rong Zheng, Zhuo Zou, IFIP WG 8.9 working conference on research and practical issues of enterprise information systems . 2018

机译：企业信息系统研究与实际问题国际会议第11届IFIP WG 8.9工作会议，CONFENIS 2017
5. Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings [O] . Bouajjani, Ahmed, Silva, Alexandra 2017

机译：分布式对象，组件和系统的形式技术：第37届IFIP WG 6.1国际会议，FORTE，作为第12届分布式计算技术国际联合会议的一部分，DisCoTec 2017，瑞士纳沙泰尔，2017年6月19日至22日，会议记录

Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

摘要

著录项

相似文献

相关主题

期刊订阅